Buscar
Mostrando ítems 1-10 de 65
Confluent Rewriting Systems in Non-Monotonic Reasoning
(Revista Computación y Sistemas; Vol. 2 No. 2 y No. 3, 1998-12-15)
Abstract. We introduce the general notion 01 a Confluent LPSystem,
which is a rewriting system on the set 01 all
logic pmgrams over a signature L. Such a system is
based on certain translormation rules and induces a ...
G’3-Stable Semantics and Inconsistency
(Revista Computación y Sistemas; Vol. 13 No.1, 2009-08-15)
Abstract. We present an overview on how to perform non-monotonic reasoning based on paraconsistent logics. In particular, we show that one can define a logic programming semantics based on the paraconsistent logic G’3 which ...
Semantica G3'-Estable e InconsistenciaG’3-Stable Semantics and Inconsistency
(Computación y Sistemas, 2010)
Semi-stable semantics
(Oxford Univ PressOxfordInglaterra, 2012)
Integrating discrete and continuous change in a logical framework
(WILEY-BLACKWELL, 1998)
The goal of our work is to develop theoretical foundations for the representation of knowledge in domains in which properties may vary continuously. One achievement of our research is that it extends the applicability of ...